Object-Oriented Design of Information Systems: Theoretical Foundations

نویسندگان

  • Hans-Dieter Ehrich
  • Ralf Jungclaus
  • Grit Denker
  • Amílcar Sernadas
چکیده

Information systems are reactive systems with a database. For their specification and design, concepts from conceptual data modeling and concurrent processes are relevant. In this paper, we outline a unifying theory borrowing ideas from these approaches and from abstract data type theory. Our approach utilizes a variant of temporal logic. It has been used to give a formal semantics for TROLL, the objectoriented information systems specification language developed at TU Braunschweig.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Foundations of Object-Oriented Informations Systems

In this paper object-oriented information system (OOIS) is defined as an information system which employs object-oriented technologies in system design and implementation. This paper attempts to clarify the concept of OOIS and its implication, and to summarise research and practices in the OOIS area. At the top level, perspectives on foundations of object-orientation, information, information s...

متن کامل

An Object Model for Geologic Map Information

National geologic map databases are presently being constructed in the U.S. and Canada, as well as in several other countries. Here, we describe an object-based model for geologic map information, specifically designed to represent digital geologic maps and related geoscientific information. Although oriented to geoscience, several fundamental issues in representing geospatial information are e...

متن کامل

Objects Identification in Object-Oriented Software Development - A Taxonomy and Survey on Techniques

Analysis and design of object oriented is onemodern paradigms for developing a system. In this paradigm, there are several objects and each object plays some specific roles. Identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. This paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. The f...

متن کامل

Conceptual Object-Oriented Database: A Theoretical Model

The evolution of object-oriented databases (OODBs) has not been accompanied by an equivalent evolution of theoretical models, leaving the foundations for OODBs ill-defined. Design of OODBs has been hampered by the lack of design techniques/tools which correspond to the theoretical model. This paper defines a core conceptual object oriented database (COODB) model providing a foundation and frame...

متن کامل

Review of ranked-based and unranked-based metrics for determining the effectiveness of search engines

Purpose: Traditionally, there have many metrics for evaluating the search engine, nevertheless various researchers’ proposed new metrics in recent years. Aware of this new metrics is essential to conduct research on evaluation of the search engine field. So, the purpose of this study was to provide an analysis of important and new metrics for evaluating the search engines. Methodology: This is ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993